Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
نویسندگان
چکیده
0950-7051/$ see front matter 2010 Elsevier B.V. A doi:10.1016/j.knosys.2010.12.001 ⇑ Corresponding author. Tel.: +3
منابع مشابه
Visualization of Proofs in Defeasible Logic
The development of the Semantic Web proceeds in steps, building each layer on top of the other. Currently, the focus of research efforts is concentrated on logic and proofs, both of which are essential, since they will allow systems to infer new knowledge by applying principles on the existing data and explain their actions. Research is shifting towards the study of non-monotonic systems that a...
متن کاملVisual Modeling of Defeasible Logic Rules with Dr-VisMO
903 The standardization of the Semantic Web has reached as far as ontologies and ontology languages. However, in order for the full potential of the Semantic Web to be achieved, the ability of reasoning over the available information is also essential. Rules can assist in this affair and various logics have been proposed for the Semantic Web domain. One of them is defeasible reasoning that deal...
متن کاملDR-DEVICE: A Defeasible Logic System for the Semantic Web
This paper presents DR-DEVICE, a system for defeasible reasoning on the Web. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often...
متن کاملDR-DEVICE: A Defeasible Logic RDF Rule Language
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used. In this demonstration we present a prototype system for defeasible rea...
متن کاملProof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design of a system for proof explanation on the Semantic Web, based on defe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Knowl.-Based Syst.
دوره 24 شماره
صفحات -
تاریخ انتشار 2011